🌲 Tree Rewriting

Term Rewriting Systems, AST Transformation, Optimization Rules, Pattern Matching

Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🗂️Type Indexing
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·12h
🧠Semantic Parsing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·55m
💫Effect Systems
From ASTs to RakuAST to ASTQuery
github.com·1d·
Discuss: DEV
📋Souffle Datalog
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·3h·
Discuss: DEV
🏗️Cranelift
The Rise of Semantic Entity Resolution
towardsdatascience.com·1d
🌳Tree Diffing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·13h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Using AI Agents for Reranking in RavenDB
ayende.com·4h
🔍Query Engines
Planarizing matchings
11011110.github.io·22h
🎨Graph Coloring
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📈Earley Parsing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🪢Rope Data Structures
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Enterprise Design Patterns: Building Scalable Applications
dev.to·1d·
Discuss: DEV
🔢Algebraic Datatypes
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·16h
💬Smalltalk VMs
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·12h
🔍ML Language
Analog IMC Attention Mechanism For Fast And Energy-Efficient LLMs (FZJ, RWTH Aachen)
semiengineering.com·45m
🗺️Region Inference